حلقه اعداد صحیح گاوسی، به تعبیری نخستین گسترش حلقه اعداد صحیح معمولی است. حلقه اعداد صحیح گاوسی شباهت هایی به اعداد صحیح دارد از جمله این که یک حلقه اقلیدسی و در نتیجه یک حوزه تجزیه یکتا است. با توجه به اهمیت اعداد اول، بررسی اعداد اول در حلقه اعداد صحیح گاوسی نیز از اهمیت برخوردار است. در این مقاله به دو پرسش پاسخ می دهیم: کدامیک از اعضای این حلقه، اول هستند و شرط لازم و کافی برای این که یک عد...

نظم یکی از ارکان اصلی طبیعت است. از این رو بشر همواره در تلاش یافتن نظم در جنبه های گوناگون طبیعت بوده است که یافتن نظم در پراکندگی سیارات، نمونه ای از این تلاش هاست. با کشف قانون تیتوس- بد، نشانه هایی از وجود نظم در منظومه شمسی آشکار شد. این قانون بر خلاف منظومه شمسی، در مورد سایر منظومه های فراخورشیدی نتایج رضایت بخشی در بر ندارد. علاوه بر قانون تیتوس- بد، قانون مربعی با استفاده از مدل بوهر ب...

دعوی تقابل با ماهیت و کارکرد دوگانه دفاع و ادعا یکی از مهم ترین دعاوی طاری است که پیش بینی مقرراتی راجع به آن در قانون آیین دادرسی مدنی ایران از نخستین گام های قانون گذاری مورد توجه بوده است. مقنن در تبیین مفهوم و ماهیت و چگونگی استفاده از آن به کمترین تعداد مواد (سه ماده) در قانون آیین دادرسی مدنی اکتفا کرده است. دعوای تقابل در لفظ دعوا است اما به واقع دفاعی است که علاوه بر دفاع، مزیت دیگری نی...

حبس مندرج در ماده 3 قانون نحوه‌ اجرای محکومیت‌های مالی مصوب 15/7/1393 مجلس شورای اسلامی و 23/3/1394 مجمع تشخیص مصلحت نظام، یکی از طرق استیفاء حق است و ماهیتی همانند مجازات ندارد، اما علاوه بر درخواست محکوم‌له و قبول دادگاه، نیازمند حصول شرایطی خارج از حدود اختیار دادگاه و محکوم‌له است و اختیار آنان مطلق نیست. به علاوه، حبس مذکور فاقد مدت مشخص و امری است استثنائی و در صورت شک باید اصل را بر اجرا...

اندازه گیری لحظه ای فرکانس با استفاده از خطوط تأخیر دار یکی از روش های متداول می باشد که در صورت عملکرد ایده آل کلیه قطعات و عناصر بکار رفته در سیستم پاسخ دقیق حاصل خواهد شد که به این نکته در بعضی از مراجع نیز اشاره شده است اما چون عناصر و زیرسیستم های تشکیل دهنده سیستم کلی اندازه گیر لحظه ای فرکانس ایده آل نمی باشند نتایج حاصل با خطاهایی همراه خواهد بود که آنالیز خطا و رفع ابهام را اجتناب ناپذ...

کلاس خاصی از سیستم های سوئیچ شونده خطی دارای قانون کلیدزنی مقید به حالت-ورودی منطقی بوده و در مدلسازی دسته وسیعی از سیستم ها قابل استفاده هستند. در این مقاله روشی جهت تحلیل پایداری و طراحی کنترل کننده برای این کلاس از سیستم های هایبرید ارائه شده است. روش پیشنهادی مبتنی بر طراحی بر اساس تابع لیاپانف مربعی می باشد. مساله تحلیل پایداری و طراحی در مورد این سیستم ها به حل یک مساله بهینه سازی محدب از...

نظر به ناکارآمدی مجازات حبس کوتاه مدت در بازپروری زندانیان درایران ابتدا قانون وصول برخی از درآمدهای دولت مصوب 1373 و سپس مجازات جایگزین حبس در قانون مجازات اسلامی مصوب 1392 در ماده 70 پیش بینی شده است که مورد اخیر به معنای حذف مجازات حبس کوتاه مدت از نظام کیفری ایران نیست، زیرا طبق قانون مجازات اسلامی در ماده 67 و قسمت دوم ماده 68 با لحاظ مفهوم "می تواند" قاضی اختیار به صدور حبس کمتر از 91 روز...